Diclib.com
Woordenboek ChatGPT

Woordenboek opzoeken Oplossingen op maat

Voer een woord of zin in in een taal naar keuze 👆

Taal:

Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT

Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:

hoe het woord wordt gebruikt
gebruiksfrequentie
het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
opties voor woordvertaling
Gebruiksvoorbeelden (meerdere zinnen met vertaling)
etymologie

Wat (wie) is dupla-distância - definitie

Catraca dupla; Dupla Catraca

quilometragem

MEDIDA DA SEPARAÇÃO ESPACIAL

Quilometragem; Afastamento; Fórmula da distância; Distância percorrida

sf (quilômetro+agem)
1 Ação ou efeito de quilometrar.
2 Medição feita por quilômetros.
3 Relação quilômetros-consumo, num veículo.

afastamento

MEDIDA DA SEPARAÇÃO ESPACIAL

Quilometragem; Afastamento; Fórmula da distância; Distância percorrida

sm (afastar+mento²)
1 Ato ou efeito de afastar.
2 Distância entre coisas consideradas.

Distância

MEDIDA DA SEPARAÇÃO ESPACIAL

Quilometragem; Afastamento; Fórmula da distância; Distância percorrida

f.
Espaço entre duas coisas ou pessôas.
Intervallo.
Afastamento, separação.
Espaço entre duas épocas.
Grande differença.
(Lat. distantia)

Wikipedia

Dupla catraca

Na lógica, o símbolo ⊨, $\vDash$ or $\models$ é chamado de dupla catraca. Pode ser lido como "consequência lógica" (acarreta em), "modelo de", "é consequência semântica de " ou no inglês "is stronger than". Uma de suas relações com o símbolo catraca $\vdash$ (o qual possui uma barra única atravessada no meio) é o teorema da completude.

No TeX, os símbolos de catracas $\vdash$ e $\models$ são obtidos pelos comandos \vdash e \models respectivamente. No Unicode está mapeado em U+22A8 ⊨ true (HTML: ⊨)

https://pt.wikipedia.org/wiki/Dupla catraca